.PHONY: clean

clean:
	-rm -f *.cmi *.cmo *.o *.cmx *.a


